Preconditions and propositions for ‘Another development’
نویسندگان
چکیده
منابع مشابه
Fprg: Another View and Propositions
This paper deals with the problem of fault detection and isolation. Existence conditions of a solution to this problem are recalled before the proposal of another solution. The proof carrying out the effectiveness of the proposed solution and illustrative examples are the main results.Copyright c © 2005 IFAC
متن کاملAnother characterization of weakest preconditions
We present an approach to the study of nondeterministic programs, consisting essentially in using binary relations as semantic objects representing the input-output behaviour of programs. These relations include an explicit representation of non-terminating computations. Based on the relational model we introduce a weakest precondition total correctness predicate transformer. We then show how t...
متن کاملPreconditions for public sector e-infrastructure development
Article history: Received 25 February 2011 Received in revised form 10 March 2013 Accepted 4 April 2013 Available online xxxx Interoperability in e-government has been recognized as a key factor in the quest of administrations at national, local and international level to achieve the provision of one-stop services to citizens and businesses. Interoperability in e-government should enable effici...
متن کاملdevelopment and implementation of an optimized control strategy for induction machine in an electric vehicle
in the area of automotive engineering there is a tendency to more electrification of power train. in this work control of an induction machine for the application of electric vehicle is investigated. through the changing operating point of the machine, adapting the rotor magnetization current seems to be useful to increase the machines efficiency. in the literature there are many approaches wh...
15 صفحه اولPhonetic Preconditions for the Development of Normative Preaspiration
In several languages and dialects of north-western Europe, preaspiration – the early timing of glottal abduction relative to oral closure in vowels preceding a voiceless stop consonant – has become normative in the sense of being an obligatory feature of sequences of vowel and fortis stop. Impressionistic observations suggest that non-normative preaspiration may occur across the whole Scandinav...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: CEPAL Review
سال: 1977
ISSN: 1684-0348
DOI: 10.18356/274a9451-en